Stone duality - PDFSEARCH.IO - Document Search Engine

Stone duality
Results: 33

#	Item
11	Inside every model of Abstract Stone Duality lies an Arithmetic Universe Paul Taylor 8 May 2005 Abstract The first paper published on Abstract Stone Duality showed that the overt discrete objects Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:08:05
12	Theory and Applications of Categories, Vol. 7, No. 15, 2000, pp. 284–338. GEOMETRIC AND HIGHER ORDER LOGIC IN TERMS OF ABSTRACT STONE DUALITY PAUL TAYLOR Transmitted by Robert Rosebrugh Add to Reading List Source URL: www.margaretmorgan.com Language: English - Date: 2001-09-10 11:02:20
13	Theory and Applications of Categories, Vol. 7, No. 15, 2000, pp. 284–338. GEOMETRIC AND HIGHER ORDER LOGIC IN TERMS OF ABSTRACT STONE DUALITY PAUL TAYLOR Transmitted by Robert Rosebrugh Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2000-12-30 13:43:21
14	Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 13:08:48
15	Computably Based Locally Compact Spaces Paul Taylor June 29, 2004 Abstract Abstract Stone Duality is a re-axiomatisation of general topology in which the topology on a space is treated as an exponential object of the sam Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:10:52
16	Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:08:48 Metalogic Symbol Interpretation Structure Μ operator Linear temporal logic Model theory Logic Mathematics
17	Tychonov’s Theorem in Abstract Stone Duality Paul Taylor 24 September 2006 Abstract New constructive definition of compactness in the form of the existence of a continuous ”universal quantifier”. Construction and c Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 13:26:18 Model theory Operator theory Spectral theory Orbifold Topology General topology Compact space
18	The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-06-03 17:25:38 General topology Order theory Real analysis Calculus Measure theory Least-upper-bound property Compact space Intermediate value theorem Continuous function Mathematical analysis Topology Mathematics
19	Interval Analysis Without Intervals Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:34:48 Locally compact space Duality Logic Equivalence of categories Stone duality Non-classical analysis Topology Mathematics General topology
20	Geometric and Higher Order Logic in terms of Abstract Stone Duality Paul Taylor Abstract The contravariant powerset and its generalisations ΣX to the lattices of open subsets of a locally compact topological space and o Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2011-04-11 06:46:45

UPDATE